class A {}

extension type E on A {}
